From computational science to Internetics: Integration of science with computer science

From Constructivism to Computer Science

My eld is mathematical logic, with a special interest in constructivism, and I would not dare to call myself a computer scientist. But some computer scientists regard my work as a contribution to their eld; and in this text I shall try to explain how this is possible, by taking a look at the history of ideas. I want to describe how two interrelated ideas, connected with the con-structivistic tr...

Computational science and pathological science

the best diet for a healthy life. One characteristic these examples all share is that they fade quickly, only to be replaced by a new ultimate answer. Sometimes rather than fading, the thrilling discovery has a second life in checkout-line tabloids. A few of these items are hoaxes, some are merely consequences of over-enthusiasm about preliminary results, but many are honest mistakes carried to...

Social science. Computational social science.

Computer Science Meets Medical Science

In the past 20–30 years at least two technical advances have made quantification in pathology at a large scale possible. At the time the computing power of affordable computers increased, interest to deploy tasks emerged that were previously very laborious to perform. Combined with digital camera systems, many new possibilities became available. Examples of such measurements that were previousl...

Control from computer science

This paper presents some of the principles underlying verification and controller synthesis techniques for discrete dynamical systems developed within Computer Science along with some ideas to extend them to continuous and hybrid systems. Hopefully, this will provide control theorists and engineers with an additional perspective of their discipline as seen by a sympathetic outsider, uncommitted...